Decidability of the theory of the natural integers with the cantor pairing function and the successor

Decidability and Tameness in the Theory of Finite Semigroups

A class of Recursive Permutations which is Primitive Recursive complete

We focus on total functions in the theory of reversible computational models. We define a class of recursive permutations, dubbed Reversible Primitive Permutations (RPP) which are computable invertible total endo-functions on integers, so a subset of total reversible computations. RPP is generated from five basic functions (identity, negation, successor, predecessor, swap), two notions of compo...

Influence of Dielectric Constant on Codon-Anticodon pairing in mRNA and tRNA triplets by Theoretical Studies: Hartree-Fock and Density Functional Theory Calculations.

In this paper we have focused on the dielectric constant effect between various solvents with theoretical modelin the biochemical process. Thereby, AAA, UUU, AAG and UUC triplex sequences have been optimized inwater, methanol, ethanol and DMSO with proposed SCRF Model of theory. The solvation of biomolecules isimportant in molecular biology since numerous processes involve to interacting a prot...

STUDY OF NUCLEAR LEVEL DENSITY AND SPIN CUT-OFF FACTORS

Nuclear level densities and spin cut-off factors have been deduced for nuclei in the mass region 24‹A‹63,from a microscopic theory, which includes nuclear pairing interaction. Single particle levels for both Seeger and Nilsson potentials were used in the calcdations. Level densities extracted from the theory are compared with their conesponding experimental values, It is found that the overall...

پارامتر نظم ابررسانایی در فلز CeIrIn5

To understand the mechanism of superconductivity in unconventional super onductors is one of the big challenges in the field of superconductivity. Based on the BCS theory, there is a direct relation between the pairing mechanism and the symmetry of the order parameter. Therefore, identification of the structure of the superconducting gap or the order parameter provides key information on the pa...